Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
131	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2013-02-12 08:10:24 Applied mathematics Logic in computer science Constraint programming Electronic design automation NP-complete problems Interpolation Craig interpolation Satisfiability Modulo Theories Mathematical proof Theoretical computer science Mathematics Mathematical logic
132	g01 – Simple Calculations on Statistical Data g01ftc NAG C Library Function Document nag_deviates_landau (g01ftc) Add to Reading List Source URL: www.softintegration.com Language: English - Date: 2004-10-25 19:49:07 Science Applied mathematics Information theory Knowledge Constraint logic programming Computational science Numerical analysis Interpolation
133	νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-16 19:21:04 Formal methods Constraint programming Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Mathematical optimization Theoretical computer science Applied mathematics Mathematics
134	J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE? Add to Reading List Source URL: hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:10:42 Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing
135	Textual Inference by Combining Multiple Logic Programming Paradigms Chitta Baral Gregory Gelfond Michael Gelfond Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:19 Science Reasoning Programming paradigms Constraint programming Non-classical logic Stable model semantics Prolog Inference Negation as failure Logic Logic programming Artificial intelligence
136	The Design of E SSENCE: A Constraint Language for Specifying Combinatorial Problems Alan M. Frisch1 Matthew Grum1 Bernadette Mart´ınez Hern´andez1 1 Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-04-29 12:08:04 Computer programming Constraint satisfaction Constraint logic programming ECLiPSe Type system Data type Mathematical optimization Function Decomposition method Constraint programming Declarative programming Software engineering
137	The Complexity of Global Constraints Christian Bessiere Emmanuel Hebrard and Brahim Hnich and Toby Walsh∗ LIRMM Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:27 Computer programming Local consistency Constraint satisfaction Constraint logic programming Co-NP-complete NP-complete Decomposition method Complexity of constraint satisfaction Constraint programming Software engineering Theoretical computer science
138	Workshop on Reactive and Event-based Languages and Systems (REBLSCo-located with SPLASH, October 21, 2014, Portland, Oregon, USA Solving Interactive Logic Puzzles With Object-Constraints An Experience Report Using Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:20 Software engineering Constraint satisfaction Cassowary Sudoku Backtracking Kaleidoscope Satisfiability Modulo Theories Sudoku algorithms Mathematics of Sudoku Constraint programming Theoretical computer science Mathematics
139	Finding Most Likely Haplotypes in General Pedigrees through Parallel Branch and Bound Search Rina Dechter, University of California Irvine Joint work with Lars Otten Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2013-01-24 16:54:54 Logic programming Constraint programming Mathematics Computing Mathematical optimization Operations research Algorithm
140	c , , 1–20 () Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Fourier Elimination for Compiling Constraint Hierarchies Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2002-07-01 13:23:24 Computing Constraint satisfaction Constraint inference Local consistency Constraint logic programming Constraint programming Software engineering Computer programming

UPDATE